翻訳と辞書
Words near each other
・ Red & Black Jeans
・ Red & Gold
・ Red & Tan
・ Red & Ted's Road Show
・ Red & White (food stores)
・ Red & White Fleet
・ Red & White Flying Service Airport
・ Red & White Services
・ Red (2002 film)
・ Red (2008 film)
・ Red (2010 film)
・ Red (an orchestra)
・ Red (audio drama)
・ Red (band)
・ Red (Black Uhuru album)
Recursive ordinal
・ Recursive partitioning
・ Recursive recycling
・ Recursive science fiction
・ Recursive self-improvement
・ Recursive set
・ Recursive transition network
・ Recursive tree
・ Recursive wave
・ Recursive XY-cut
・ Recursively enumerable language
・ Recursively enumerable set
・ Recursively inseparable sets
・ Recurso de amparo
・ Recursolândia


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Recursive ordinal : ウィキペディア英語版
Recursive ordinal
In mathematics, specifically set theory, an ordinal \alpha is said to be recursive if there is a recursive well-ordering of a subset of the natural numbers having the order type \alpha.
It is trivial to check that \omega is recursive, the successor of a recursive ordinal is recursive, and the set of all recursive ordinals is closed downwards. The supremum of all recursive ordinals is called the Church-Kleene ordinal and denoted by \omega^_1. Indeed, an ordinal is recursive if and only if it is smaller than \omega^_1. Since there are only countably many recursive relations, there are also only countably many recursive ordinals. Thus, \omega^_1 is countable.
The recursive ordinals are exactly the ordinals that have an ordinal notation in Kleene's \mathcal.
==See also==

*Arithmetical hierarchy
*Large countable ordinals
*Ordinal notation

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Recursive ordinal」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.